Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
171	IntPatch: Automatically Fix Integer-Overﬂow-to-Buﬀer-Overﬂow Vulnerability at Compile-Time Chao Zhang, Tielei Wang, Tao Wei, Yu Chen, and Wei Zou Institute of Computer Science and Technology, Peking University Key Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2012-05-09 22:42:06 Computing Programming language theory Vulnerability LLVM Type system Social vulnerability Variable Type inference Pointer Type theory Data types Software engineering
172	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
173	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
174	Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-12-18 13:24:00 Data types Null Pointer Assertion Constructor Type system C Software bug Statistical hypothesis testing Software engineering Computer programming Computing
175	Static Type Inference for Ruby Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:36 Type theory Object-oriented programming Data types Method Scripting languages Type system Ruby Type inference Constructor Software engineering Computing Computer programming
176	SQOWL: Type Inference in an RDBMS P.J. McBrien, N. Rizopoulos, and A.C. Smith Imperial College London⋆⋆ , 180 Queen’s Gate, London, UK Abstract. In this paper we describe a method to perform type inference over dat Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-14 06:14:18 SQL Data modeling Database management systems Ontology Database trigger Abox Insert Semantic reasoner Foreign key Data management Data Information
177	Statement of Purpose Marie-Christine R. Chevalier I fell in love with programming on the second day of my first computer science class. I remember the moment distinctly. The professor was demonstrating a program to draw Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 17:01:43 Programming paradigms Deforestation Functional programming Programming language Haskell Glasgow Haskell Compiler Imperative programming Type inference Algorithm Software engineering Computing Computer programming
178	Ecstatic – Type Inference for Ruby Using the Cartesian Product Algorithm Spring 2007 Master’s Thesis (SW10) Add to Reading List Source URL: projekter.aau.dk Language: English - Date: 2012-02-14 07:38:19 Programming language theory Ruby Rack Type inference Variable Parametric polymorphism Algorithm Software engineering Type theory Computing
179	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
180	Soft Interfaces: Typing Scheme at the Module Level Martin Gasbichler Holger Gast Wilhelm-Schickard-Institut f Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Programming language theory Type system Subtype polymorphism System F Polymorphism Type inference Type safety Interface Hindley–Milner Software engineering Type theory Computing

UPDATE